#include <linux/sched.h>
#include <linux/sched/task.h>

#include "inc/struct_alloc.h"

void free_task(struct task_struct *tsk)
{
    release_task_stack(tsk);

    release_task_struct(tsk);
}
